Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
A method of programming / Edsger W. Dijkstra, W. H. J. Feijen ; translated by Joke Sterringa
| A method of programming / Edsger W. Dijkstra, W. H. J. Feijen ; translated by Joke Sterringa |
| Autore | Dijkstra, Edsger W. |
| Pubbl/distr/stampa | Wokingham : Addison-Wesley, 1988 |
| Descrizione fisica | VIII, 188 p. ; 24 cm |
| Disciplina | 005.131 |
| Altri autori (Persone) | Feijen, W. H. J. |
| Soggetto non controllato |
Elaboratori elettroniciProgrammazione
Logica simbolica |
| ISBN | 0201175363 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIPARTHENOPE-000017141 |
Dijkstra, Edsger W.
|
||
| Wokingham : Addison-Wesley, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Automated deduction - CADE 17 : 17th international conference on automated deduction : Pittsburg, PA, USA, June 17-20, 2000 proceedings / David McAllester (ed.)
| Automated deduction - CADE 17 : 17th international conference on automated deduction : Pittsburg, PA, USA, June 17-20, 2000 proceedings / David McAllester (ed.) |
| Edizione | [Berlino] |
| Descrizione fisica | XII, 512 p. : ill. ; 25 cm |
| Disciplina | 006.3 |
| Collana | Lecture notes in arteficial intelligence |
| Soggetto non controllato |
Intelligenza artificiale
Logica matematica Logica simbolica Congressi |
| ISBN | 3-540-67664-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000319930203316 |
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
|
Del metodo matematico / Bernard Bolzano ; introduzione di Carlo Cellucci ; traduzione di Lorenzo Giotti
| Del metodo matematico / Bernard Bolzano ; introduzione di Carlo Cellucci ; traduzione di Lorenzo Giotti |
| Autore | Bolzano, Bernard |
| Pubbl/distr/stampa | Torino, : Boringhieri, 1985 |
| Descrizione fisica | 100 p. : ill., 1 ritr. ; 23 cm |
| Disciplina | 511.3 |
| Soggetto non controllato |
Logica simbolica
Matematica |
| ISBN | 88-339-5001-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-9910745001103321 |
|
Bolzano, Bernard
|
||
| Torino, : Boringhieri, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
DNA Computing : new computing paradigms / G. Paun, G. Rozenberg, A. Salomaa
| DNA Computing : new computing paradigms / G. Paun, G. Rozenberg, A. Salomaa |
| Autore | Paun, Gheorghe |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, c1998 |
| Descrizione fisica | IX, 402 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Texts in Theoretical Computer Science |
| Soggetto non controllato |
Cibernetica
Logica matematica Logica simbolica Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| ISBN | 3-540-64196-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001483350403321 |
| Paun, Gheorghe | ||
| Berlin [etc.] : Springer, c1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
First-order logic / Raymond M. Smullyan
| First-order logic / Raymond M. Smullyan |
| Autore | Smullyan, Raymond M. |
| Pubbl/distr/stampa | New York : Dover Publications, c1995 |
| Descrizione fisica | XII, 158 p. ; 22 cm |
| Disciplina | 511.3 |
| Collana | Dover books on mathematics |
| Soggetto non controllato |
Logica matematica
Logica simbolica Logica di primo grado |
| ISBN | 0-486-68370-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990003986590403321 |
|
Smullyan, Raymond M.
|
||
| New York : Dover Publications, c1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fondamenti dell'analisi / J. Guenot
| Fondamenti dell'analisi / J. Guenot |
| Autore | Guenot, Jaques |
| Pubbl/distr/stampa | Rende : Mediterranean Press, 1988 |
| Descrizione fisica | v. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Matematica universitaria |
| Soggetto non controllato | Logica simbolica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Nota di contenuto | 1 : Logica matemetica. VII, 93 p. |
| Record Nr. | UNINA-990000848590403321 |
|
Guenot, Jaques
|
||
| Rende : Mediterranean Press, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Grammatical inference : algorithms and application : 6th international colloquium, ICGI 2002 : Amsterdam, The Netherlands, September 23-25, 2002 : proceedings / Pieter Adriaans (ed.)
| Grammatical inference : algorithms and application : 6th international colloquium, ICGI 2002 : Amsterdam, The Netherlands, September 23-25, 2002 : proceedings / Pieter Adriaans (ed.) |
| Autore | International colloquium, ICGI 2002 <6.; 2002; Amsterdam, The Netherlands> |
| Edizione | [Berlin] |
| Descrizione fisica | IX, 314 p. : ill. ; 20 cm |
| Disciplina | 005.13 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
Linguaggi informali
Logica matematica Logica simbolica |
| ISBN | 3-540-44239-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001117710203316 |
|
International colloquium, ICGI 2002 <6.; 2002; Amsterdam, The Netherlands>
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Grammatical inference : algorithms and application : 5th international colloquium, ICGI 2000 : Lisbon, Portugal, September 11-13, 2000 : proceedings / Arlindo L. oliveira (ed.)
| Grammatical inference : algorithms and application : 5th international colloquium, ICGI 2000 : Lisbon, Portugal, September 11-13, 2000 : proceedings / Arlindo L. oliveira (ed.) |
| Edizione | [Berlino] |
| Descrizione fisica | VIII, 311 p. : ill. ; 20 cm |
| Disciplina | 005.13 |
| Collana | Lecture notes in arteficial intelligence |
| Soggetto non controllato |
Linguaggi informali
Logica matematica Logica simbolica Congressi |
| ISBN | 3-540-41011-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000319690203316 |
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
|
Handbook of tableau methods / edited by Marcello D'Agostino ... <et al.>
| Handbook of tableau methods / edited by Marcello D'Agostino ... <et al.> |
| Pubbl/distr/stampa | Dordrecht : Kluwer Academic Publishers, c1999 |
| Descrizione fisica | VIII, 670 p. : ill. : 20 cm |
| Disciplina | 511.3 |
| Soggetto non controllato |
Logica simbolica
Logica matematica |
| ISBN | 0-7923-5627-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000329450203316 |
| Dordrecht : Kluwer Academic Publishers, c1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Inexhaustibility : a non-exhaustive treatment / Torkel Franzen
| Inexhaustibility : a non-exhaustive treatment / Torkel Franzen |
| Autore | Franzen, Torkel |
| Pubbl/distr/stampa | Boca Raton (Fl.) : CRC Press, @2004 |
| Descrizione fisica | xii, 251 p. ; 23 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in Logic |
| Soggetto non controllato |
Logica matematica
Logica simbolica Teorema di incompletezza |
| ISBN | 978-156881175-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990010091940403321 |
| Franzen, Torkel | ||
| Boca Raton (Fl.) : CRC Press, @2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
